title: GPI 2.0: Optical Designs for the Upgrade of the Gemini Planet Imager Coronagraphic system

abstract: The Gemini Planet Imager (GPI) is an integral field spectrograph (IFS) and coronagraph that is one of the few current generation instruments optimized for high-contrast direct imaging of substellar companions. The instrument is in the process of being upgraded and moved from its current mount on the Gemini South Observatory in Cerro Pachon, Chile, to its twin observatory, Gemini North, on Mauna Kea (a process colloquially dubbed 'GPI 2.0'). We present the designs that have been developed for the part of GPI 2.0 that pertains to upgrading various optical components of the GPI coronagraphic system. More specifically, we present new designs for the apodizer and Lyot stop (LS) that achieve better raw contrast at the inner working angle of the dark zone as well as improved core throughput while retaining a similar level of robustness to LS misalignment. To generate these upgraded designs, we use our own publicly available software package called APLC-Optimization that combines a commercial linear solver (Gurobi) with a high contrast imaging simulation package (HCIPy) in order to iteratively propagate light through a simulated model of an apodized phase lyot coronagraph (APLC), optimizing for the best coronagraph performance metrics. The designs have recently finished being lithographically printed by a commercial manufacturer and will be ready for use when GPI 2.0 goes on-sky in 2023.


title: Learning Provably Stable Local Volt/Var Controllers for Efficient Network Operation

abstract: This paper develops a data-driven framework to synthesize local Volt/Var control strategies for distributed energy resources (DERs) in power distribution networks (DNs). Aiming to improve DN operational efficiency, as quantified by a generic optimal reactive power flow (ORPF) problem, we propose a two-stage approach. The first stage involves learning the manifold of optimal operating points determined by an ORPF instance. To synthesize local Volt/Var controllers, the learning task is partitioned into learning local surrogates (one per DER) of the optimal manifold with voltage input and reactive power output. Since these surrogates characterize efficient DN operating points, in the second stage, we develop local control schemes that steer the DN to these operating points. We identify the conditions on the surrogates and control parameters to ensure that the locally acting controllers collectively converge, in a global asymptotic sense, to a DN operating point agreeing with the local surrogates. We use neural networks to model the surrogates and enforce the identified conditions in the training phase. AC power flow simulations on the IEEE 37-bus network empirically bolster the theoretical stability guarantees obtained under linearized power flow assumptions. The tests further highlight the optimality improvement compared to prevalent benchmark methods.


title: Precise dynamical masses of new directly imaged companions from combining relative astrometry, radial velocities, and Hipparcos-Gaia eDR3 accelerations

abstract: Aims. With an observing time span of more than 20 years, the CORALIE radial-velocity survey is able to detect long-term trends in data corresponding to companions with masses and separations accessible to direct imaging. Combining exoplanet detection techniques such as radial velocities from the CORALIE survey, astrometric accelerations from Hipparcos and Gaia eDR3, and relative astrometry from direct imaging, removes the degeneracy of unknown orbital parameters. This allows precise model-independent masses of detected companions to be derived, which provides a powerful tool to test models of stellar and substellar mass-luminosity relations. Methods. Long-term precise Doppler measurements with the CORALIE spectrograph reveal radial-velocity signatures of companions on long-period orbits. The long baseline of radial-velocity data allows the detectability of such companion candidates to be assessed with direct imaging. We combine long-period radial-velocity data with absolute astrometry from Hipparcos and Gaia eDR3 and relative astrometry derived from new direct imaging detections with VLT/SPHERE to fit orbital parameters and derive precise dynamical masses of these companions. Results. In this paper we report the discovery of new companions orbiting HD~142234, HD~143616, and HIP~22059, as well as the first direct detection of HD~92987~B, and update the dynamical masses of two previously directly imaged companions; HD~157338~B and HD~195010~B. The companions span a period range of 32 to 279 years and are all very low mass stellar companions, ranging from 218 to 487~$M_{\rm{Jup}}$. We compare the derived dynamical masses to mass-luminosity relations of very low mass stars (<0.5~$M_{\odot}$), and discuss the importance of using precursor radial-velocity and astrometric information to inform the future of high-contrast imaging of exoplanets and brown dwarfs


title: Prill's problem

abstract: We solve Prill's problem, originally posed by David Prill in the late 1970s and popularized in ACGH's "Geometry of Algebraic Curves." That is, for any curve $Y$ of genus $2$, we produce a finite \'etale degree $36$ connected cover $f: X \to Y$ where, for every point $y \in Y$, $f^{-1}(y)$ moves in a pencil.


title: SPYGLASS. II. The Multi-Generational and Multi-Origin Star Formation History of Cepheus Far North

abstract: Young stellar populations provide a record of past star formation, and by establishing their members' dynamics and ages, it is possible to reconstruct the full history of star formation events. Gaia has greatly expanded the number of accessible stellar populations, with one of the most notable recently-discovered associations being Cepheus Far North (CFN), a population containing hundreds of members spanning over 100 pc. With its proximity (d $\lesssim$ 200 pc), apparent substructure, and relatively small population, CFN represents a manageable population to study in depth, with enough evidence of internal complexity to produce a compelling star formation story. Using Gaia astrometry and photometry combined with additional spectroscopic observations, we identify over 500 candidate CFN members spread across 7 subgroups. Combining ages from isochrones, asteroseismology, dynamics, and lithium depletion, we produce well-constrained ages for all seven subgroups, revealing a largely continuous 10 Myr star formation history in the association. By tracing back the present-day populations to the time of their formation, we identify two spatially and dynamically distinct nodes in which stars form, one associated with $\beta$ Cephei which shows mostly co-spatial formation, and one associated with EE Draconis with a more dispersed star formation history. This detailed view of star formation demonstrates the complexity of the star formation process, even in the smallest of regions.


title: Distinguished classes of ideal spaces and their topological properties

abstract: We consider the set of all the ideals of a ring, endowed with the coarse lower topology. The aim of this paper is to study the topological properties of distinguished subspaces of this space and detect the spectrality of some of them.


title: Modelling the energy distribution in CHIME/FRB Catalog-1

abstract: We characterize the intrinsic properties of any FRB using its redshift $z$, spectral index $\alpha$ and energy $E_{33}$ in units of $10^{33} \, {\rm J}$ emitted across $2128 - 2848\; {\rm MHz}$ in the FRB's rest frame. Provided that $z$ is inferred from the measured extra-galactic dispersion measure $DM_{\rm Ex}$, the fluence $F$ of the observed event defines a track in $(\alpha, E_{33})$ space which we refer to as the "energy track". Here we consider the energy tracks for a sample of $254$ non-repeating low dispersion measure FRBs from the CHIME/FRB Catalog-1, and use these to determine $n(E_{33} \mid \alpha)$ the conditional energy distribution i.e. the number of FRBs in the interval $\Delta E_{33}$ given a value of $\alpha$. Considering $-10 \le \alpha \le 10$, we find that the entire energy scale shifts to higher energy values as $\alpha$ is increased. For all values of $\alpha$, we can identify two distinct energy ranges indicating that there are possibly two distinct FRB populations. At high energies, the distribution is well fitted by a modified Schechter function whose slope and characteristic energy both increase with $\alpha$. At low energies, the number of FRBs are in excess of the predictions of the modified Schechter function indicating that we may have a distinctly different population of low-energy FRBs. We have checked that our main findings are reasonably robust to the assumptions regarding the Galactic Halo and Host galaxy contributions to the dispersion measure.


title: FaRO 2: an Open Source, Configurable Smart City Framework for Real-Time Distributed Vision and Biometric Systems

abstract: Recent global growth in the interest of smart cities has led to trillions of dollars of investment toward research and development. These connected cities have the potential to create a symbiosis of technology and society and revolutionize the cost of living, safety, ecological sustainability, and quality of life of societies on a world-wide scale. Some key components of the smart city construct are connected smart grids, self-driving cars, federated learning systems, smart utilities, large-scale public transit, and proactive surveillance systems. While exciting in prospect, these technologies and their subsequent integration cannot be attempted without addressing the potential societal impacts of such a high degree of automation and data sharing. Additionally, the feasibility of coordinating so many disparate tasks will require a fast, extensible, unifying framework. To that end, we propose FaRO2, a completely reimagined successor to FaRO1, built from the ground up. FaRO2 affords all of the same functionality as its predecessor, serving as a unified biometric API harness that allows for seamless evaluation, deployment, and simple pipeline creation for heterogeneous biometric software. FaRO2 additionally provides a fully declarative capability for defining and coordinating custom machine learning and sensor pipelines, allowing the distribution of processes across otherwise incompatible hardware and networks. FaRO2 ultimately provides a way to quickly configure, hot-swap, and expand large coordinated or federated systems online without interruptions for maintenance. Because much of the data collected in a smart city contains Personally Identifying Information (PII), FaRO2 also provides built-in tools and layers to ensure secure and encrypted streaming, storage, and access of PII data across distributed systems.


title: Local Area Routes and Valid Inequalities for Efficient Vehicle Routing

abstract: In this research we introduce Local Area (LA) routes for improving the efficiency and tightness of column generation (CG) methods for solving vehicle routing problems (VRP). LA-routes rely on pre-computing the lowest cost elementary sub-route (called an LA-arc) for each tuple consisting of the following: (1) a (first) customer where the LA-arc begins, (2) a distant customer (from the first) where the LA-arc ends, and (3) a set of intermediate customers near the first customer. LA-routes are constructed by concatenating LA-arcs where the final customer in a given LA-arc is the first customer in the subsequent LA-arc. A Decremental State Space Relaxation method is applied over LA-routes to construct the lowest reduced cost elementary route during the pricing step of CG. LA-route based solvers can be used to efficiently tighten the standard set cover VRP using a variant of subset row inequalities, which do not alter the structure of pricing. We incorporate LA-arcs into a novel CG stabilization scheme. Specifically each column generated during pricing is mapped to an ordered list of customers consistent with that column. An LA-arc is consistent with an ordering if the first/last customer in the arc come before/after all other customers in the LA-arc in the associated ordering respectively. Each such ordering is then mapped to a multi-graph where nodes correspond to (customer/demand) and edges correspond to LA-arcs consistent with that ordering. Hence any path from source to sink on the multi-graph is a feasible elementary route. The ordering for a column places customers spatially nearby in nearby positions on the ordering so that routes can be generated so as to permit spatially nearby customers to be visited without traveling far away first. We solve the restricted master problem over these graphs, which has special structure allowing for fast solution.


title: Angle-resolved transport nonreciprocity and spontaneous symmetry breaking in twisted trilayer graphene

abstract: The ability to identify and characterize spontaneous symmetry breaking is central to our understanding of 2D materials with strong correlation, such as the moir\'e flat bands in magic-angle twisted graphene bilayer and trilayer. In this work, we utilize angle-resolved measurements of transport nonreciprocity to investigate spontaneous symmetry breaking in twisted trilayer graphene. By analyzing the angular dependence of nonreciprocity in both longitudinal and transverse channels, we are able to identify the symmetry axis associated with the underlying electronic order. We report that a hysteretic rotation in the mirror axis can be induced by thermal cycles and a large current bias, which offers unambiguous evidence for the spontaneous breaking of rotational symmetry. Moreover, the onset of nonreciprocity with decreasing temperature coincides with the emergence of orbital ferromagnetism. Combined with the angular dependence of the superconducting diode effect, our findings uncover a direct link between rotational and time-reversal symmetry breaking. These symmetry requirements point towards the exchange-driven instabilities in the momentum space as a possible origin for transport nonreciprocity in tTLG.


title: Critical Fluctuations in Polymer Solutions: Crossover from Criticality to Tricriticality

abstract: Critical fluctuations in fluids and fluid mixtures yield a nonanalytic asymptotic Ising-like critical thermodynamic behavior in terms of power laws with universal exponents. In polymer solutions, the amplitudes of these power laws depend on the degree of polymerization. Nonasymptotic behavior (upon the departure from the critical point) is particularly interesting in the case of polymer solutions, where it is governed by a competition between the correlation length of the critical fluctuations and the radius of gyration of the polymer molecules. If the correlation length is the dominant length scale, Ising-like critical behavior is observed. If, however, the radius of gyration exceeds the correlation length, tricritical behavior with mean-field critical exponents is observed. The Ising-like critical region shrinks with the increase of the polymer molecular weight. In the limit of an infinite degree of polymerization, the Ising-like critical region vanishes, yielding to theta-point tricriticality.


title: Deformation dependence of 2p-radioactivity half-lives: Probe with a new formula across the mass region with Z<82

abstract: Effect of deformation on half-life of two-proton (2p) radioactivity is investigated across the periodic chart for nuclei with Z$<$82. 2p-decay half-lives are estimated by employing our newly proposed semi-empirical formula wherein the nuclear deformation has been incorporated in a phenomenological way. Robustness of the formula is demonstrated as it estimates the measured values quite accurately and, hence, reliably applied to predict the other possible 2p-emitters. For many proton rich nuclei for which experimental data on the decay energies are not available, we have used the theoretical values obtained from our calculations using the relativistic mean-field (RMF) approach. The uncertainties in the theoretical decay energy values are minimised by machine learning (ML) technique. Correlation of 2p-radioactivity with 2p-halo and deformation is probed. Our calculations show the phenomenon of shape coexistence in several 2p-emitters, wherein the prolate shape is found to be more predominant for the ground state.


title: Best-Response dynamics in two-person random games with correlated payoffs

abstract: We consider finite two-player normal form games with random payoffs. Player A's payoffs are i.i.d. from a uniform distribution. Given p in [0, 1], for any action profile, player B's payoff coincides with player A's payoff with probability p and is i.i.d. from the same uniform distribution with probability 1-p. This model interpolates the model of i.i.d. random payoff used in most of the literature and the model of random potential games. First we study the number of pure Nash equilibria in the above class of games. Then we show that, for any positive p, asymptotically in the number of available actions, best response dynamics reaches a pure Nash equilibrium with high probability.


title: Intention Communication and Hypothesis Likelihood in Game-Theoretic Motion Planning

abstract: Game-theoretic motion planners are a potent solution for controlling systems of multiple highly interactive robots. Most existing game-theoretic planners unrealistically assume a priori objective function knowledge is available to all agents. To address this, we propose a fault-tolerant receding horizon game-theoretic motion planner that leverages inter-agent communication with intention hypothesis likelihood. Specifically, robots communicate their objective function incorporating their intentions. A discrete Bayesian filter is designed to infer the objectives in real-time based on the discrepancy between observed trajectories and the ones from communicated intentions. In simulation, we consider three safety-critical autonomous driving scenarios of overtaking, lane-merging and intersection crossing, to demonstrate our planner's ability to capitalize on alternative intention hypotheses to generate safe trajectories in the presence of faulty transmissions in the communication network.


title: Unconditional remote entanglement using second-harmonic generation and twin two-mode squeezed vacuum states

abstract: We propose a photonics-based, continuous-variable (CV) form of remote entanglement utilizing strictly second-order nonlinear optical interactions that does not require the implementation of a state-projective measurement (i.e. remote entanglement without conditioning). This scheme makes use of two separate down-converters, wherein the corresponding nonlinear crystals are driven by strong classical fields as prescribed by the parametric approximation, as well as a fully quantum mechanical model of nondegenerate second harmonic generation (SHG) whose evolution is described by the trilinear Hamiltonian of the form $\hat{H}_{\text{shg}} = i\hbar\kappa\big(\hat{a}\hat{b}\hat{c}^{\dagger} - \hat{a}^{\dagger}\hat{b}^{\dagger}\hat{c}\big)$. By driving the SHG process with the signal modes of the two down-converters, we show entanglement formation between the generated second-harmonic mode (SH-mode) and the non-interacting joint-idler subsystem without the need for any state-reductive measurements on the interacting modes.


title: Many-body superradiance and dynamical mirror symmetry breaking in waveguide QED

abstract: The many-body decay of extended collections of two-level systems remains an open problem. Here, we investigate whether an array of emitters coupled to a one-dimensional bath undergoes Dicke superradiance. This is a process whereby a completely inverted system becomes correlated via dissipation, leading to the release of all the energy in the form of a rapid photon burst. We derive the minimal conditions for the burst to happen as a function of the number of emitters, the chirality of the waveguide, and the single-emitter optical depth, both for ordered and disordered ensembles. Many-body superradiance occurs because the initial fluctuation that triggers the emission is amplified throughout the decay process. In one-dimensional baths, this avalanchelike behavior leads to a spontaneous mirror symmetry breaking, with large shot-to-shot fluctuations in the number of photons emitted to the left and right. Superradiant bursts may thus be a smoking gun for the generation of correlated photon states of exotic quantum statistics.


title: Universal finite functorial semi-norms

abstract: Functorial semi-norms on singular homology measure the ''size'' of homology classes. A geometrically meaningful example is the $\ell^1$-semi-norm. However, the $\ell^1$-semi-norm is not universal in the sense that it does not vanish on as few classes as possible. We show that universal finite functorial semi-norms do exist on singular homology on the category of topological spaces that are homotopy equivalent to finite CW-complexes. Our arguments also apply to more general settings of functorial semi-norms.


title: Frequency shaping control for weakly-coupled grid-forming IBRs

abstract: We consider the problem of controlling the frequency of low-inertia power systems via inverter-based resources (IBRs) that are weakly connected to the grid. We propose a novel grid-forming control strategy, the so-called frequency shaping control, that aims to shape the frequency response of synchronous generators (SGs) to load perturbations so as to efficiently arrest sudden frequency drops. Our solution relaxes several existing assumptions in the literature and is able to navigate tradeoffs between peak power requirements and maximum frequency deviations. Finally, we analyze the robustness to imperfect knowledge of network parameters, while particularly highlighting the importance of accurate estimation of these parameters.


title: Exploration of the effects of epidemics on the regional socio-economics: a modelling approach

abstract: Pandemics, in addition to affecting the health of populations, can have huge impacts on their social and economic behavior. These factors, on the other hand, have the potential to feed back to and influence the disease spreading. It is important to systematically study these interrelations, to determine which ones have significant effects, and whether the effects are adverse or beneficial. Our recently developed epidemic model with agent-based and geographical elements is used in this study for such a purpose. We perform an extensive parameter space exploration of the socio-economic part of the model, including factors like the attitudes (called values) of the agents towards the disease spreading, health, economic situation, and regulations by government agents. We search for prominent patterns from the resulting simulated data using basic classification tools, namely self-organizing maps and principal component analysis. We seek to isolate the most important value parameters of the population and government agents influencing the disease spreading speed and patterns, and monitor different quantities of the model output, such as infection rates, the propagation speed of the epidemic, economic activity, government regulations, and the compliance of population. Out of these, the ones describing the epidemic spreading were resulting in the most distinctive clustering of the data, and they were selected as the basis of the remaining analysis. We relate the found clusters to three distinct types of disease spreading: wave-like, chaotic, and transitional spreading patterns. The most important value parameter contributing to phase changes between these phases was found to be the compliance of the population agents towards the government regulations.


title: NaCl & KCl in Io's Atmosphere

abstract: We present the first comprehensive study of NaCl and KCl gases in Io's atmosphere in order to investigate their characteristics, and to infer properties of Io's volcanoes and subsurface magma chambers. In this work, we compile all past spectral line observations of NaCl and KCl in Io's atmosphere from the Atacama Large Millimeter/submillimeter Array (ALMA) and use atmospheric models to constrain the physical properties of the gases on several dates between 2012 and 2018. NaCl and KCl appear to be largely spatially confined and for observations with high spectral resolution, the temperatures are high (~500-1000 K), implying a volcanic origin. The ratio of NaCl:KCl was found to be ~5-6 in June 2015 and ~3.5-10 in June 2016, which is consistent with predictions based on observations of Io's extended atmosphere, and less than half the Na:K ratio in chondrites. Assuming these gases are volcanic in origin, these ratios imply a magma temperature of ~1300 K, such that the magma will preferentially outgas KCl over NaCl.


title: A General Analytical Approach for Outage Analysis of HARQ-IR over Correlated Fading Channels

abstract: This paper proposes a general analytical approach to derive the outage probability of hybrid automatic repeat request with incremental redundancy (HARQ-IR) over correlated fading channels in closed-form. Unlike prior analyses, the consideration of channel correlation is one of the key reasons making the outage analysis involved. Using conditional Mellin transform, the outage probability of HARQ-IR over correlated Rayleigh fading channels is exactly expressed as a mixture of outage probabilities of HARQ-IR over independent Nakagami fading channels, where the weights are negative multinomial probabilities. Its straightforward application is to conduct asymptotic outage analysis to gain more insights, in which the asymptotic outage probability is obtained in a concise form. The asymptotic outage probability possesses some special properties which ease optimal power allocation and rate selection of HARQ-IR. Finally, numerical results are presented for validations and discussions.


title: On the Performance of Variable-Rate HARQ-IR over Beckmann Fading Channels

abstract: This paper thoroughly investigates the performance of variable-rate hybrid automatic repeat request with incremental redundancy (HARQ-IR) over Beckmann fading channels, where Beckmann channel model is used to characterize the impacts of line-of-sight (LOS) path, time correlation between fading channels and unequal means & variances between the in-phase and the quadrature components. The intricate channel model and variable-rate transmission strategy significantly complicate the performance analysis. The complex form of the joint distribution of channel coefficients makes the exact analysis rather difficult. Hence, the asymptotic analysis of HARQ-IR is conducted to obtain tractable results. The outage probability and the long term average throughput (LTAT) are then derived in closed-form with clear insights. Furthermore, the simplicity of the obtained expressions enables the maximization of the LTAT given an outage constraint through choosing appropriate transmission rates. Particularly, the increasing monotonicity and the convexity of outage probability with respect to transmission rates allow us to solve the problem suboptimally by combining together alternately iterating optimization and concave fractional programming, and the proposed suboptimal algorithm has a lower computational complexity than the exhaustive search algorithm.


title: Outage Performance Analysis of Full-Correlated Rayleigh MIMO Channels

abstract: The outage performance of multiple-input multiple-output (MIMO) technique has received intensive attention to meet the stringent requirement of reliable communications for 5G applications, e.g., mission-critical machine-type communication (cMTC). To account for spatial correlation effects at both transmit and receive sides, the full-correlated Rayleigh MIMO fading channels are modeled according to Kronecker correlation structure in this paper. The outage probability is expressed as a weighted sum of the generalized Fox's H functions. The simple analytical result empowers asymptotic outage analysis at high signal-to-noise ratio (SNR), which not only reveal helpful insights into understanding the behavior of fading effects, but also offer useful design guideline for MIMO configurations. Particularly, the negative impact of the spatial correlation on the outage probability is revealed by using the concept of majorization, and the asymptotic outage probability is proved to be a monotonically increasing and convex function of the transmission rate. In the end, the analytical results are validated through extensive numerical experiments.


title: Properties of fuzzy set spaces with $L_p$ metrics

abstract: This paper discusses the properties of the spaces of fuzzy sets in a metric space with $L_p$-type $d_p$ metrics, $p\geq 1$. The $d_p$ metrics are well-defined if and only if the corresponding Haudorff distance functions are measurable. In this paper, we give some fundamental conclusions on the measurability of these Haudorff distance functions. Then we give the characterizations of compactness in fuzzy set space with $d_p$ metrics. At last we present the completions of fuzzy set spaces with $d_p$ metrics.


title: The Equation of State with the EPOS3 model

abstract: Transitions between different states of matter and their thermodynamic properties are described by the Equation of State (EoS). A universal representation of the EoS of Quantum Chromodynamics (QCD) for the wide range of phase diagram has yet to be determined. The expectation of the systems to undergo various types of transitions depending on the temperature (T), the chemical potential ({\mu}B), and other thermodynamic features make solving that puzzle challenging. Furthermore, it needs to be apparent which experimentally measurable observables could provide helpful information for determining EoS. The application of different EoS for hydrodynamical evolution was introduced in the EPOS3 generator, which allows one to study its changing effect on the experimental observables. The family of EoS proposed by the BEST Collaboration was implemented. The Critical Point (CP) location and the strength of criticality variations were investigated with particle yield, transverse momentum spectra, flow, and moments of the net-proton distributions.


title: Discrete Linear Canonical Transform on Graphs

abstract: With the wide application of spectral and algebraic theory in discrete signal processing techniques in the field of graph signal processing, an increasing number of signal processing methods have been proposed, such as the graph Fourier transform, graph wavelet transform and windowed graph Fourier transform. In this paper, we propose and design the definition of the discrete linear canonical transform on graphs (GLCT), which is an extension of the discrete linear canonical transform (DLCT), just as the graph Fourier transform (GFT) is an extension of the discrete Fourier transform (DFT). First, based on the centrality and scalability of the DLCT eigendecomposition approach, the definition of GLCT is proposed by combining graph chirp-Fourier transform, graph scale transform and graph fractional Fourier transform. Second, we derive and discuss the properties and special cases of GLCT. Finally, some GLCT examples of the graph signals are given to illustrate the improvement of the transformation.


title: AO3000 at Subaru: Combining for the first time a NIR WFS using First Light's C-RED ONE and ALPAO's 64x64 DM

abstract: After 16 years of on-sky operation, Subaru Telescope's facility adaptive optics AO188 is getting several major upgrades to become the extreme-AO AO3000 (3000 actuators in the pupil compared to 188 previously). AO3000 will provide high-Strehl images for several instruments from visible to mid-infrared, notably the Infrared Camera and Spectrograph (IRCS), and the Subaru Coronagraphic Extreme Adaptive Optics (SCExAO). For this upgrade, the original 188-element deformable mirror (DM) will be replaced with ALPAO's $64\times64$ DM. The visible wavefront sensor will also be upgraded at a later date, but in the meantime we are adding a near-infrared Wavefront Sensor (NIR WFS), using either a double roof prism pyramid mode or a focal plane WFS mode. This new wavefront sensor will use for the first time First Light's C-RED ONE camera, allowing for a full control of the $64\times64$ DM at up to 1.6 kHz. One of the challenges is the use of non-destructive reads and a rolling shutter with the modulated pyramid. This upgrade will be particularly exciting for SCExAO, since the extreme-AO loop will focus more on creating high-contrast dark zones instead of correcting large atmospheric residuals. It will be the first time two extreme-AO loops will be combined on the same telescope. Finally, the setup AO3000+SCExAO+IRCS will serve as a perfect demonstrator for the Thirty Meter Telescope's Planetary Systems Imager (TMT-PSI). We will present here the design, integration and testing of AO3000, and show the first on-sky results.


title: Going Further With Winograd Convolutions: Tap-Wise Quantization for Efficient Inference on 4x4 Tile

abstract: Most of today's computer vision pipelines are built around deep neural networks, where convolution operations require most of the generally high compute effort. The Winograd convolution algorithm computes convolutions with fewer MACs compared to the standard algorithm, reducing the operation count by a factor of 2.25x for 3x3 convolutions when using the version with 2x2-sized tiles $F_2$. Even though the gain is significant, the Winograd algorithm with larger tile sizes, i.e., $F_4$, offers even more potential in improving throughput and energy efficiency, as it reduces the required MACs by 4x. Unfortunately, the Winograd algorithm with larger tile sizes introduces numerical issues that prevent its use on integer domain-specific accelerators and higher computational overhead to transform input and output data between spatial and Winograd domains. To unlock the full potential of Winograd $F_4$, we propose a novel tap-wise quantization method that overcomes the numerical issues of using larger tiles, enabling integer-only inference. Moreover, we present custom hardware units that process the Winograd transformations in a power- and area-efficient way, and we show how to integrate such custom modules in an industrial-grade, programmable DSA. An extensive experimental evaluation on a large set of state-of-the-art computer vision benchmarks reveals that the tap-wise quantization algorithm makes the quantized Winograd $F_4$ network almost as accurate as the FP32 baseline. The Winograd-enhanced DSA achieves up to 1.85x gain in energy efficiency and up to 1.83x end-to-end speed-up for state-of-the-art segmentation and detection networks.


title: Molecular filtration by reduced graphene oxide sandwiched between wood sheets

abstract: This study investigates the prospect of using reduced graphene oxide encapsulated between thin wood membranes as a composite filter for water filtration. Graphene oxide (GO) with a volume range of 0.2 to 0.5 mL was deposited on a 95 mm2 area of thin sheets of Balsa wood with a thickness range of 2.20 - 3.50 mm. The dried GO deposits were laser treated in reduced oxygen environment to prepare a reduced graphene oxide-wood composite (rGO-wood). The rGO substrate of the composite was sandwiched between 2 wood sheets which were glued using polydimethylsiloxane (PDMS) to give a stable membrane. Fabricated membranes improved the Allura red rejection from 8.29 $\pm$ 0.69% in the controls (sandwiched wood sheets without rGO) to 93.14 $\pm$ 1.31% in the 1 mL total rGO composites. The ratio of percentage permeance drop of the treatments over the controls ranged from 62.8 $\pm$ 4.3 to 85.4 $\pm$ 5.2% from the 0.4 to 1 mL rGO composites respectively. The correlation coefficient (r) between the GO volume and rejection was 0.94 suggesting that the GO treatments provided some control over the transport of molecules through the membrane. The correlation coefficient between wood thickness, and Allura red rejection shows that the wood sheets did not influence the rejection. The permeance was weakly affected by the membrane thickness (r = -0.46). An 93% improvement in rejection performance of the composite membranes over the controls was observed. The overall data suggests that the wood-rGO composite has potential for water filtration applications.


title: Characteristics and Main Threats about Multi-Factor Authentication: A Survey

abstract: This work reports that the Systematic Literature Review process is responsible for providing theoretical support to research in the Threat Model and Multi-Factor Authentication. However, different from the related works, this study aims to evaluate the main characteristics of authentication solutions and their threat model. Also, it intends to list characteristics, threats, and related content to a state-of-art. As a result, we brought a portfolio analysis through charts, figures, and tables presented in the discussion section.


title: A Bibliometrics Analysis on 28 years of Authentication and Threat Model Area

abstract: The large volume of publications in any research area can make it difficult for researchers to track their research areas' trends, challenges, and characteristics. Bibliometrics solves this problem by bringing statistical tools to help the analysis of selected publications from an online database. Although there are different works in security, our study aims to fill the bibliometric gap in the authentication and threat model area. As a result, a description of the dataset obtained, an overview of some selected variables, and an analysis of the ten most cited articles in this selected dataset is presented, which brings together publications from the last 28 years in these areas combined.


title: Spatial dependence of quantum friction amplitudes in a scalar model

abstract: We study the spatial dependence of the quantum friction effect for an atom moving at a constant velocity, in a parallel direction to a material plane. In particular, we determine the probability per unit time and unit area, for exciting degrees of freedom on the plane, as a function of their position, for a given trajectory of the atom. We also show that the result of integrating out the probability density agrees with previous results for the same system.


title: TrustToken, a Trusted SoC solution for Non-Trusted Intellectual Property (IP)s

abstract: Secure and trustworthy execution in heterogeneous SoCs is a major priority in the modern computing system. Security of SoCs mainly addresses two broad layers of trust issues: 1. Protection against hardware security threats(Side-channel, IP Privacy, Cloning, Fault Injection, and Denial of Service); and 2. Protection against malicious software attacks running on SoC processors. To resist malicious software-level attackers from gaining unauthorized access and compromising security, we propose a root of trust-based trusted execution mechanism \textbf{\textit{(named as \textbf{TrustToken}) }}. TrustToken builds a security block to provide a root of trust-based IP security: secure key generation and truly random source. \textbf{TrustToken} only allows trusted communication between the non-trusted third-party IP and the rest of the SoC world by providing essential security features, i.e., secure, isolated execution, and trusted user interaction. The proposed design achieves this by interconnecting the third-party IP interface to \textbf{TrustToken} Controller and checking IP authorization(Token) signals \texttt{`correctness'} at run-time. \textbf{TrustToken} architecture shows a very low overhead resource utilization LUT (618, 1.16 \%), FF (44, 0.04 \%), and BUFG (2 , 6.25\%) in implementation. The experiment results show that TrustToken can provide a secure, low-cost, and trusted solution for non-trusted SoC IPs.


title: Polytropic behavior in the structures of Interplanetary Coronal Mass Ejections

abstract: The polytropic process characterizes the thermodynamics of space plasma particle populations. The polytropic index, ${\gamma}$, is particularly important as it describes the thermodynamic behavior of the system by quantifying the changes in temperature as the system is compressed or expanded. Using Wind spacecraft plasma and magnetic field data during $01/1995 - 12/2018$, we investigate the thermodynamic evolution in 336 Interplanetary Coronal Mass Ejection (ICME) events. For each event, we derive the index ${\gamma}$ in the sheath and magnetic ejecta structures, along with the pre- and post- event regions. We then examine the distributions of all ${\gamma}$ indices in these four regions and derive the entropic gradient of each, which is indicative of the ambient heating. We find that in the ICME sheath region, where wave turbulence is expected to be highest, the thermodynamics takes longest to recover into the original quasi-adiabatic process, while it recovers faster in the quieter ejecta region. This pattern creates a thermodynamic cycle, featuring a near adiabatic value ${\gamma}$ ~ ${\gamma}$${_a}$ (=5/3) upstream of the ICMEs, ${\gamma}$${_a}$ - ${\gamma}$ ~ 0.26 in the sheaths, ${\gamma}$${_a}$ - ${\gamma}$ ~ 0.13 in the ICME ejecta, and recovers again to ${\gamma}$ ~ ${\gamma}$${_a}$ after the passage of the ICME. These results expose the turbulent heating rates in the ICME plasma: the lower the polytropic index from its adiabatic value and closer to its isothermal value, the larger the entropic gradient, and thus, the rate of turbulent heating that heats the ICME plasma.


title: Li-Yorke Chaos for Composition operators on Orlicz-Lorentz spaces

abstract: In this paper, we study the Li-Yorke chaotic composition operators on Orlicz-Lorentz space. In fact, necessary and sufficient conditions are given for Li-Yorke chaotic composition operator $C_{\tau}$ on $\mathbb{L}^{\varphi,h}(\mu)$. Further, we present the equivalent conditions for $C_{\tau}$ to be Li-Yorke chaotic. This paper's results are the generalization of results of [15] into Orlicz-Lorentz spaces.


title: Control of Uncertain PWA Systems using Difference-of-Convex Decompositions

abstract: In this report, we analyze and design feedback policies for discrete-time Piecewise-Affine (PWA) systems with uncertainty in both the affine dynamics and the polytopic partition. The main idea is to utilise the Difference-of-Convex (DC) decomposition of continuous PWA systems to derive quadratic Lyapunov functions as stability certificates and stabilizing affine policies in a higher dimensional space. When projected back to the state space, we obtain time-varying PWQ Lyapunov functions and time-varying PWA feedback policies.


title: Quality Control (QC) of FBK Preproduction 3D Si Sensors for ATLAS HL-LHC Upgrades

abstract: The challenging demands of the ATLAS High Luminosity (HL-LHC) Upgrade aim for a complete swap of new generation sensors that should cope with the ultimate radiation hardness. FBK has been one of the prime foundries to develop and fabricate such radiation-hard 3D silicon (Si) sensors. These sensors are chosen to be deployed into the innermost layer of the ATLAS Inner Tracker (ITk). Recently, a pre-production batch of 3D Si sensors of 50x50 um2 pixel geometry, compatible with the full-size ITKPix (RD53B) readout chip, was fabricated. Two wafers holding temporary metal were diced at IZM, Germany, and a systematic QC test campaign was carried out at the University of Trento electronics laboratory. The paper briefly describes the 3D Si sensor design for ATLAS ITk and the required QC characterization setups. It comprises electrical tests (i.e., I-V, C-V, and I-T) of non-irradiated RD53B sensors. In addition, the study of several parametric analyses, i.e., oxide charge density, oxide thickness, inter-pixel resistance, inter-pixel capacitance, etc., are reported with the aid of Process Control Monitor (PCM) structures.


title: Controllability of a Class of Swarm Signaling Networks

abstract: In this paper, we propose closed-form analytical expressions to determine the minimum number of driver nodes that is needed to control a specific class of networks. We consider swarm signaling networks with regular out-degree distribution where a fraction $p$ of the links is unavailable. We further apply our method to networks with bi-modal out-degree distributions. Our approximations are validated through intensive simulations. Results show that our approximations have high accuracy when compared with simulation results for both types of out-degree distribution.


title: Device Tracking via Linux's New TCP Source Port Selection Algorithm (Extended Version)

abstract: We describe a tracking technique for Linux devices, exploiting a new TCP source port generation mechanism recently introduced to the Linux kernel. This mechanism is based on an algorithm, standardized in RFC 6056, for boosting security by better randomizing port selection. Our technique detects collisions in a hash function used in the said algorithm, based on sampling TCP source ports generated in an attacker-prescribed manner. These hash collisions depend solely on a per-device key, and thus the set of collisions forms a device ID that allows tracking devices across browsers, browser privacy modes, containers, and IPv4/IPv6 networks (including some VPNs). It can distinguish among devices with identical hardware and software, and lasts until the device restarts. We implemented this technique and then tested it using tracking servers in two different locations and with Linux devices on various networks. We also tested it on an Android device that we patched to introduce the new port selection algorithm. The tracking technique works in real-life conditions, and we report detailed findings about it, including its dwell time, scalability, and success rate in different network types. We worked with the Linux kernel team to mitigate the exploit, resulting in a security patch introduced in May 2022 to the Linux kernel, and we provide recommendations for better securing the port selection algorithm in the paper.


title: Recommendations and guidelines from the ISMRM Diffusion Study Group for preclinical diffusion MRI: Part 1 -- In vivo small-animal imaging

abstract: The value of in vivo preclinical diffusion MRI (dMRI) is substantial. Small-animal dMRI has been used for methodological development and validation, characterizing the biological basis of diffusion phenomena, and comparative anatomy. Many of the influential works in this field were first performed in small animals or ex vivo samples. The steps from animal setup and monitoring, to acquisition, analysis, and interpretation are complex, with many decisions that may ultimately affect what questions can be answered using the data. This work aims to serve as a reference, presenting selected recommendations and guidelines from the diffusion community, on best practices for preclinical dMRI of in vivo animals. In each section, we also highlight areas for which no guidelines exist (and why), and where future work should focus. We first describe the value that small animal imaging adds to the field of dMRI, followed by general considerations and foundational knowledge that must be considered when designing experiments. We briefly describe differences in animal species and disease models and discuss how they are appropriate for different studies. We then give guidelines for in vivo acquisition protocols, including decisions on hardware, animal preparation, imaging sequences and data processing, including pre-processing, model-fitting, and tractography. Finally, we provide an online resource which lists publicly available preclinical dMRI datasets and software packages, to promote responsible and reproducible research. An overarching goal herein is to enhance the rigor and reproducibility of small animal dMRI acquisitions and analyses, and thereby advance biomedical knowledge.


title: Habitat classification from satellite observations with sparse annotations

abstract: Remote sensing benefits habitat conservation by making monitoring of large areas easier compared to field surveying especially if the remote sensed data can be automatically analyzed. An important aspect of monitoring is classifying and mapping habitat types present in the monitored area. Automatic classification is a difficult task, as classes have fine-grained differences and their distributions are long-tailed and unbalanced. Usually training data used for automatic land cover classification relies on fully annotated segmentation maps, annotated from remote sensed imagery to a fairly high-level taxonomy, i.e., classes such as forest, farmland, or urban area. A challenge with automatic habitat classification is that reliable data annotation requires field-surveys. Therefore, full segmentation maps are expensive to produce, and training data is often sparse, point-like, and limited to areas accessible by foot. Methods for utilizing these limited data more efficiently are needed. We address these problems by proposing a method for habitat classification and mapping, and apply this method to classify the entire northern Finnish Lapland area into Natura2000 classes. The method is characterized by using finely-grained, sparse, single-pixel annotations collected from the field, combined with large amounts of unannotated data to produce segmentation maps. Supervised, unsupervised and semi-supervised methods are compared, and the benefits of transfer learning from a larger out-of-domain dataset are demonstrated. We propose a \ac{CNN} biased towards center pixel classification ensembled with a random forest classifier, that produces higher quality classifications than the models themselves alone. We show that cropping augmentations, test-time augmentation and semi-supervised learning can help classification even further.


title: Rigidity for von Neumann algebras of graph product groups. I. Structure of automorphisms

abstract: In this paper we study various rigidity aspects of the von Neumann algebra $L(\Gamma)$ where $\Gamma$ is a graph product group \cite{Gr90} whose underlying graph is a certain cycle of cliques and the vertex groups are the wreath-like product property (T) groups introduced recently in \cite{CIOS21}. Using an approach that combines methods from Popa's deformation/rigidity theory with new techniques pertaining to graph product algebras, we describe all symmetries of these von Neumann algebras and reduced C$^*$-algebras by establishing formulas in the spirit of Genevois and Martin's results on automorphisms of graph product groups \cite{GM19}.


title: Role of the Hubble Scale in the Weak Lensing vs. CMB Tension

abstract: We explore a re-parameterization of the lensing amplitude tension between weak lensing (WL) and cosmic microwave background (CMB) data and its implications for a joint resolution with the Hubble tension. Specifically, we focus on the lensing amplitude over a scale of 12 Mpc in absolute distance units using a derived parameter $S_{12}$ and show its constraints from recent surveys in comparison with Planck 2018. In WL alone, we find that the absolute distance convention correlates $S_{12}$ with $H_0$. Accounting for this correlation in the 3D space $S_{12}\times \omega_m \times h$ reproduces the usual levels of $2\sim 3\sigma$ tension inferred from $S_8\times\Omega_m$. Additionally, we derive scaling relations in the $S_8\times h$ and $S_{12}\times h$ planes that are allowed by $\Lambda$CDM and extrapolate target scalings needed to solve the $H_0$ and lensing-amplitude tensions jointly in a hypothetical beyond-$\Lambda$CDM model. As a test example, we quantify how the early dark energy scenario compares with these target scalings. Useful fitting formulae for $S_8$ and $S_{12}$ as a function of other cosmological parameters in $\Lambda$CDM are provided, with 1% precision.


title: Perverse Microsheaves

abstract: An exact complex symplectic manifold carries a sheaf of stable categories, locally equivalent to a microlocalization of a category of constructible sheaves. This sheaf of categories admits a t-structure, whose heart is locally equivalent to a microlocalization of a category of perverse sheaves. The abelian category of local systems on a spin conic complex Lagrangian embeds fully faithfully in the heart. The sheaf of homs between two objects in the heart is itself a perverse sheaf, shifted by half the dimension of the ambient manifold. Analogous results hold for complex contact manifolds. The correspondence between microsheaves and Fukaya categories yields t-structures on Fukaya categories of conic complex symplectic manifolds, with holomorphic Lagrangians in the heart.


title: AdS Black Holes with a Bouncing Interior

abstract: We construct planar black hole solutions of AdS gravity minimally coupled to a scalar field with an even, super-exponential potential. We show that the evolution of the black hole interior exhibits an infinite sequence of Kasner epochs, as the scalar field rolls back and forth in its potential. We obtain an analytic expression for the `bounces' between each Kasner epoch and also give an explicit formula for the times and strengths of the bounces at late interior times, thereby fully characterizing the interior evolution. In this way we show that the interior geometry approaches the Schwarzschild singularity at late times, even as the scalar field is driven higher up its potential with each bounce.


title: Focusing on Refinement Typing

abstract: We present a logically principled foundation for systematizing, in a way that works with any computational effect and evaluation order, SMT constraint generation seen in refinement type systems for functional programming languages. By carefully combining a focalized variant of call-by-push-value, bidirectional typing, and our novel technique of value-determined indexes, our system generates solvable SMT constraints without existential (unification) variables. We design a polarized subtyping relation allowing us to prove our logically focused typing algorithm is sound, complete, and decidable. We prove type soundness of our declarative system with respect to an elementary domain-theoretic denotational semantics. Type soundness implies, relatively simply, the total correctness and logical consistency of our system. The relative ease with which we obtain both algorithmic and semantic results ultimately stems from the proof-theoretic technique of focalization.


title: Multiple Imputation Methods for Missing Multilevel Ordinal Outcomes

abstract: Multiple imputation (MI) is an established technique to handle missing data in observational studies. Joint modeling (JM) and fully conditional specification (FCS) are commonly used methods for imputing multilevel clustered data. However, MI approaches for ordinal clustered outcome variables have not been well studied, especially when there is informative cluster size (ICS). The purpose of this study is to describe different imputation and analysis strategies for the multilevel ordinal outcome when ICS exists. We conducted comprehensive Monte Carlo simulation studies to compare five different methods: complete case analysis (CCA), FCS, FCS+CS (include cluster size (CS) when performing the imputation), JM, and JM+CS under different scenarios. We evaluated their performances using an proportional odds logistic regression model estimated with cluster weighted generalized estimating equations (CWGEE). The simulation results show that including cluster size in imputation can significantly improve imputation accuracy when ICS exists. FCS provides more accurate and robust estimation than JM, followed by CCA for multilevel ordinal outcomes. We further applied those methods to a real dental study.


title: Automated Urban Planning aware Spatial Hierarchies and Human Instructions

abstract: Traditional urban planning demands urban experts to spend considerable time and effort producing an optimal urban plan under many architectural constraints. The remarkable imaginative ability of deep generative learning provides hope for renovating urban planning. While automated urban planners have been examined, they are constrained because of the following: 1) neglecting human requirements in urban planning; 2) omitting spatial hierarchies in urban planning, and 3) lacking numerous urban plan data samples. To overcome these limitations, we propose a novel, deep, human-instructed urban planner. In the preliminary work, we formulate it into an encoder-decoder paradigm. The encoder is to learn the information distribution of surrounding contexts, human instructions, and land-use configuration. The decoder is to reconstruct the land-use configuration and the associated urban functional zones. The reconstruction procedure will capture the spatial hierarchies between functional zones and spatial grids. Meanwhile, we introduce a variational Gaussian mechanism to mitigate the data sparsity issue. Even though early work has led to good results, the performance of generation is still unstable because the way spatial hierarchies are captured may lead to unclear optimization directions. In this journal version, we propose a cascading deep generative framework based on generative adversarial networks (GANs) to solve this problem, inspired by the workflow of urban experts. In particular, the purpose of the first GAN is to build urban functional zones based on information from human instructions and surrounding contexts. The second GAN will produce the land-use configuration based on the functional zones that have been constructed. Additionally, we provide a conditioning augmentation module to augment data samples. Finally, we conduct extensive experiments to validate the efficacy of our work.


title: One-dimensional Local Families of Complex K3 Surfaces

abstract: For any complex K3 surface $X$, we construct a one-dimensional deformation in which all integers $\rho$ with $0 \leq \rho \leq 20$ occur as Picard numbers of some fibres. In contrast, we prove that the generic one-dimensional local family of K3 surfaces admits only $0$ and $1$ as Picard numbers of the fibres.


title: A light in the dark: searching for electromagnetic counterparts to black hole-black hole mergers in LIGO/Virgo O3 with the Zwicky Transient Facility

abstract: The accretion disks of active galactic nuclei (AGN) are promising locations for the merger of compact objects detected by gravitational wave (GW) observatories. Embedded within a baryon-rich, high density environment, mergers within AGN are the only GW channel where an electromagnetic (EM) counterpart must occur (whether detectable or not). Considering AGN with unusual flaring activity observed by the Zwicky Transient Facility (ZTF), we describe a search for candidate EM counterparts to binary black hole (BBH) mergers detected by LIGO/Virgo in O3. After removing probable false positives, we find nine candidate counterparts to BBH mergers mergers during O3 (seven in O3a, two in O3b) with a $p$-value of 0.019. Based on ZTF sky coverage, AGN geometry, and merger geometry, we expect $\approx 3(N_{\rm BBH}/83)(f_{\rm AGN}/0.5)$ potentially detectable EM counterparts from O3, where $N_{\rm BBH}$ is the total number of observed BBH mergers and $f_{\rm AGN}$ is the fraction originating in AGN. Further modeling of breakout and flaring phenomena in AGN disks is required to reduce our false positive rate. Two of the events are also associated with mergers with total masses $> 100M_\odot$, which is the expected rate for O3 if hierarchical (large mass) mergers occur in the AGN channel. Candidate EM counterparts in future GW observing runs can be better constrained by coverage of the Southern sky as well as spectral monitoring of unusual AGN flaring events in LIGO/Virgo alert volumes. A future set of reliable AGN EM counterparts to BBH mergers will yield an independent means of measuring cosmic expansion ($H_0$) as a function of redshift.


title: Efficient approach of using CNN based pretrained model in Bangla handwritten digit recognition

abstract: Due to digitalization in everyday life, the need for automatically recognizing handwritten digits is increasing. Handwritten digit recognition is essential for numerous applications in various industries. Bengali ranks the fifth largest language in the world with 265 million speakers (Native and non-native combined) and 4 percent of the world population speaks Bengali. Due to the complexity of Bengali writing in terms of variety in shape, size, and writing style, researchers did not get better accuracy using Supervised machine learning algorithms to date. Moreover, fewer studies have been done on Bangla handwritten digit recognition (BHwDR). In this paper, we proposed a novel CNN-based pre-trained handwritten digit recognition model which includes Resnet-50, Inception-v3, and EfficientNetB0 on NumtaDB dataset of 17 thousand instances with 10 classes.. The Result outperformed the performance of other models to date with 97% accuracy in the 10-digit classes. Furthermore, we have evaluated the result or our model with other research studies while suggesting future study


title: Dynamic Unicast-Multicast Scheduling for Age-Optimal Information Dissemination in Vehicular Networks

abstract: This paper investigates the problem of minimizing the age-of-information (AoI) and transmit power consumption in a vehicular network, where a roadside unit (RSU) provides timely updates about a set of physical processes to vehicles. Each vehicle is interested in maintaining the freshness of its information status about one or more physical processes. A framework is proposed to optimize the decisions to unicast, multicast, broadcast, or not transmit updates to vehicles as well as power allocations to minimize the AoI and the RSU's power consumption over a time horizon. The formulated problem is a mixed-integer nonlinear programming problem (MINLP), thus a global optimal solution is difficult to achieve. In this context, we first develop an ant colony optimization (ACO) solution which provides near-optimal performance and thus serves as an efficient benchmark. Then, for real-time implementation, we develop a deep reinforcement learning (DRL) framework that captures the vehicles' demands and channel conditions in the state space and assigns processes to vehicles through dynamic unicast-multicast scheduling actions. Complexity analysis of the proposed algorithms is presented. Simulation results depict interesting trade-offs between AoI and power consumption as a function of the network parameters.


title: Mitigating Attacks on Artificial Intelligence-based Spectrum Sensing for Cellular Network Signals

abstract: Cellular networks (LTE, 5G, and beyond) are dramatically growing with high demand from consumers and more promising than the other wireless networks with advanced telecommunication technologies. The main goal of these networks is to connect billions of devices, systems, and users with high-speed data transmission, high cell capacity, and low latency, as well as to support a wide range of new applications, such as virtual reality, metaverse, telehealth, online education, autonomous and flying vehicles, advanced manufacturing, and many more. To achieve these goals, spectrum sensing has been paid more attention, along with new approaches using artificial intelligence (AI) methods for spectrum management in cellular networks. This paper provides a vulnerability analysis of spectrum sensing approaches using AI-based semantic segmentation models for identifying cellular network signals under adversarial attacks with and without defensive distillation methods. The results showed that mitigation methods can significantly reduce the vulnerabilities of AI-based spectrum sensing models against adversarial attacks.


title: USE-Evaluator: Performance Metrics for Medical Image Segmentation Models with Uncertain, Small or Empty Reference Annotations

abstract: Performance metrics for medical image segmentation models are used to measure the agreement between the reference annotation and the predicted segmentation. Usually, overlap metrics, such as the Dice, are used as a metric to evaluate the performance of these models in order for results to be comparable. However, there is a mismatch between the distributions of cases and difficulty level of segmentation tasks in public data sets compared to clinical practice. Common metrics fail to measure the impact of this mismatch, especially for clinical data sets that include low signal pathologies, a difficult segmentation task, and uncertain, small, or empty reference annotations. This limitation may result in ineffective research of machine learning practitioners in designing and optimizing models. Dimensions of evaluating clinical value include consideration of the uncertainty of reference annotations, independence from reference annotation volume size, and evaluation of classification of empty reference annotations. We study how uncertain, small, and empty reference annotations influence the value of metrics for medical image segmentation on an in-house data set regardless of the model. We examine metrics behavior on the predictions of a standard deep learning framework in order to identify metrics with clinical value. We compare to a public benchmark data set (BraTS 2019) with a high-signal pathology and certain, larger, and no empty reference annotations. We may show machine learning practitioners, how uncertain, small, or empty reference annotations require a rethinking of the evaluation and optimizing procedures. The evaluation code was released to encourage further analysis of this topic. https://github.com/SophieOstmeier/UncertainSmallEmpty.git


title: Can Existing Approaches Manage Dynamic and Large Business Processes enacted through Systems-of-Systems?

abstract: In the era of joint ventures (JV) and mergers & acquisitions (M&A), dynamic and large business processes can emerge to achieve broader business goals and are often formed from business processes of distinct organizations. Software systems of such distinct organizations should support these larger processes and, for this, they need to communicate among them forming the so called Systems-of-Systems (SoS). However, the management of these larger processes and the correspondent SoS has been currently a complicated challenge for the alliances of organizations. In this scenario, the main contribution of this paper is to discover what has been proposed in the literature to manage these processes. We analyzed possibly all existing approaches and the findings point out that many of them cannot provide understanding of the whole large processes and, more importantly, they do not address completely the SoS inherent characteristics. We also highlight the next research directions to make possible the management of these dynamic, complex, interconnected business processes that have increasingly crossed several critical domains.


title: Iterating sum of power divisor function and New equivalence to the Riemann hypothesis

abstract: We were able in this paper to give a negative answer to the reverse question of Graeme L. Cohen and Herman J. J. te Riele such that we showed that there is no fixed integer $m $ for which $\sigma^k(m) = 0 \bmod m$ for all iterations $k$ of sum divisor function using H.Lenstra problem result for Aliquot sequence and we showed that there exists some integers $m$ such that $\sigma_k(m) \bmod m$ is periodic with small period $L=2$(periodicity with small period dividing $L$ the lcm the least common multiple of $1$+each exponents in the prime factorization of $m$ ).A new equivalence to the Riemann hypothesis has been added using congruence and divisibility among sum of power divisor function where some numerical evidence in the stochastic (Random matrix theory) and statistics context are presented such that we were able to derive new fit distribution model from the behavior of the sequence $\sigma_k(m) \bmod m$


title: The effectiveness of factorization and similarity blending

abstract: Collaborative Filtering (CF) is a widely used technique which allows to leverage past users' preferences data to identify behavioural patterns and exploit them to predict custom recommendations. In this work, we illustrate our review of different CF techniques in the context of the Computational Intelligence Lab (CIL) CF project at ETH Z\"urich. After evaluating the performances of the individual models, we show that blending factorization-based and similarity-based approaches can lead to a significant error decrease (-9.4%) on the best-performing stand-alone model. Moreover, we propose a novel stochastic extension of a similarity model, SCSR, which consistently reduce the asymptotic complexity of the original algorithm.


title: Survey on Fairness Notions and Related Tensions

abstract: Automated decision systems are increasingly used to take consequential decisions in problems such as job hiring and loan granting with the hope of replacing subjective human decisions with objective machine learning (ML) algorithms. However, ML-based decision systems are prone to bias, which results in yet unfair decisions. Several notions of fairness have been defined in the literature to capture the different subtleties of this ethical and social concept (e.g., statistical parity, equal opportunity, etc.). Fairness requirements to be satisfied while learning models created several types of tensions among the different notions of fairness and other desirable properties such as privacy and classification accuracy. This paper surveys the commonly used fairness notions and discusses the tensions among them with privacy and accuracy. Different methods to address the fairness-accuracy trade-off (classified into four approaches, namely, pre-processing, in-processing, post-processing, and hybrid) are reviewed. The survey is consolidated with experimental analysis carried out on fairness benchmark datasets to illustrate the relationship between fairness measures and accuracy in real-world scenarios.


title: Evolving Complexity is Hard

abstract: Understanding the evolution of complexity is an important topic in a wide variety of academic fields. Implications of better understanding complexity include increased knowledge of major evolutionary transitions and the properties of living and technological systems. Genotype-phenotype (G-P) maps are fundamental to evolution, and biologically-oriented G-P maps have been shown to have interesting and often-universal properties that enable evolution by following phenotype-preserving walks in genotype space. Here we use a digital logic gate circuit G-P map where genotypes are represented by circuits and phenotypes by the functions that the circuits compute. We compare two mathematical definitions of circuit and phenotype complexity and show how these definitions relate to other well-known properties of evolution such as redundancy, robustness, and evolvability. Using both Cartesian and Linear genetic programming implementations, we demonstrate that the logic gate circuit shares many universal properties of biologically derived G-P maps, with the exception of the relationship between one method of computing phenotypic evolvability, robustness, and complexity. Due to the inherent structure of the G-P map, including the predominance of rare phenotypes, large interconnected neutral networks, and the high mutational load of low robustness, complex phenotypes are difficult to discover using evolution. We suggest, based on this evidence, that evolving complexity is hard and we discuss computational strategies for genetic-programming-based evolution to successfully find genotypes that map to complex phenotypes in the search space.


title: Predicting Protein-Ligand Binding Affinity via Joint Global-Local Interaction Modeling

abstract: The prediction of protein-ligand binding affinity is of great significance for discovering lead compounds in drug research. Facing this challenging task, most existing prediction methods rely on the topological and/or spatial structure of molecules and the local interactions while ignoring the multi-level inter-molecular interactions between proteins and ligands, which often lead to sub-optimal performance. To solve this issue, we propose a novel global-local interaction (GLI) framework to predict protein-ligand binding affinity. In particular, our GLI framework considers the inter-molecular interactions between proteins and ligands, which involve not only the high-energy short-range interactions between closed atoms but also the low-energy long-range interactions between non-bonded atoms. For each pair of protein and ligand, our GLI embeds the long-range interactions globally and aggregates local short-range interactions, respectively. Such a joint global-local interaction modeling strategy helps to improve prediction accuracy, and the whole framework is compatible with various neural network-based modules. Experiments demonstrate that our GLI framework outperforms state-of-the-art methods with simple neural network architectures and moderate computational costs.


title: PARSRec: Explainable Personalized Attention-fused Recurrent Sequential Recommendation Using Session Partial Actions

abstract: The emerging meta- and multi-verse landscape is yet another step towards the more prevalent use of already ubiquitous online markets. In such markets, recommender systems play critical roles by offering items of interest to the users, thereby narrowing down a vast search space that comprises hundreds of thousands of products. Recommender systems are usually designed to learn common user behaviors and rely on them for inference. This approach, while effective, is oblivious to subtle idiosyncrasies that differentiate humans from each other. Focusing on this observation, we propose an architecture that relies on common patterns as well as individual behaviors to tailor its recommendations for each person. Simulations under a controlled environment show that our proposed model learns interpretable personalized user behaviors. Our empirical results on Nielsen Consumer Panel dataset indicate that the proposed approach achieves up to 27.9% performance improvement compared to the state-of-the-art.


title: One generation of standard model Weyl representations as a single copy of $\mathbb{R}\otimes\mathbb{C}\otimes\mathbb{H}\otimes\mathbb{O}$

abstract: Peering in from the outside, $\mathbb{A} := \mathbb{R}\otimes\mathbb{C}\otimes\mathbb{H}\otimes\mathbb{O}$ looks to be an ideal mathematical structure for particle physics. It is 32 $\mathbb{C}$-dimensional: exactly the size of one full generation of fermions. Furthermore, as alluded to earlier in arXiv:1806.00612, it supplies a richer algebraic structure, which can be used, for example, to replace SU(5) with the SU(3)$\times$SU(2)$\times$U(1) / $\mathbb{Z}_6$ symmetry of the standard model. However, this line of research has been weighted down by a difficulty known as the fermion doubling problem. That is, a satisfactory description of SL(2,$\mathbb{C}$) symmetries has so far only been achieved by taking two copies of the algebra, instead of one. Arguably, this doubling of states betrays much of $\mathbb{A}$'s original appeal. In this article, we solve the fermion doubling problem in the context of $\mathbb{A}$. Furthermore, we give an explicit description of the standard model symmetries, $g_{sm}$, its gauge bosons, Higgs, and a generation of fermions, each in the compact language of this 32 $\mathbb{C}$-dimensional algebra. Most importantly, we seek out the subalgebra of $g_{sm}$ that is invariant under the complex conjugate - and find that it is given by $su(3)_C \oplus u(1)_{EM}$. Could this new result provide a clue as to why the standard model symmetries break in the way that they do?


title: Public Wisdom Matters! Discourse-Aware Hyperbolic Fourier Co-Attention for Social-Text Classification

abstract: Social media has become the fulcrum of all forms of communication. Classifying social texts such as fake news, rumour, sarcasm, etc. has gained significant attention. The surface-level signals expressed by a social-text itself may not be adequate for such tasks; therefore, recent methods attempted to incorporate other intrinsic signals such as user behavior and the underlying graph structure. Oftentimes, the `public wisdom' expressed through the comments/replies to a social-text acts as a surrogate of crowd-sourced view and may provide us with complementary signals. State-of-the-art methods on social-text classification tend to ignore such a rich hierarchical signal. Here, we propose Hyphen, a discourse-aware hyperbolic spectral co-attention network. Hyphen is a fusion of hyperbolic graph representation learning with a novel Fourier co-attention mechanism in an attempt to generalise the social-text classification tasks by incorporating public discourse. We parse public discourse as an Abstract Meaning Representation (AMR) graph and use the powerful hyperbolic geometric representation to model graphs with hierarchical structure. Finally, we equip it with a novel Fourier co-attention mechanism to capture the correlation between the source post and public discourse. Extensive experiments on four different social-text classification tasks, namely detecting fake news, hate speech, rumour, and sarcasm, show that Hyphen generalises well, and achieves state-of-the-art results on ten benchmark datasets. We also employ a sentence-level fact-checked and annotated dataset to evaluate how Hyphen is capable of producing explanations as analogous evidence to the final prediction.


title: Diameter formulas for a class of undirected multi-loop networks

abstract: Let $n\geq 5$ and $m\geq 1$ be positive integers. Let $S = ( s_1, s_2, \ldots , s_m)$ be a sequence of integers such that $1 \leq s_1 < s_2 < \ldots < s_m \leq \lfloor \frac{n-1}{2} \rfloor.$ In this paper, we discuss the diameter of multi-loop networks $C_n(s_1,s_2, \ldots, s_m)$ when $s_1=1$. We also present a relation between the diameter of multi-loop networks and the diameter of generalized Petersen graphs.


title: Fast online ranking with fairness of exposure

abstract: As recommender systems become increasingly central for sorting and prioritizing the content available online, they have a growing impact on the opportunities or revenue of their items producers. For instance, they influence which recruiter a resume is recommended to, or to whom and how much a music track, video or news article is being exposed. This calls for recommendation approaches that not only maximize (a proxy of) user satisfaction, but also consider some notion of fairness in the exposure of items or groups of items. Formally, such recommendations are usually obtained by maximizing a concave objective function in the space of randomized rankings. When the total exposure of an item is defined as the sum of its exposure over users, the optimal rankings of every users become coupled, which makes the optimization process challenging. Existing approaches to find these rankings either solve the global optimization problem in a batch setting, i.e., for all users at once, which makes them inapplicable at scale, or are based on heuristics that have weak theoretical guarantees. In this paper, we propose the first efficient online algorithm to optimize concave objective functions in the space of rankings which applies to every concave and smooth objective function, such as the ones found for fairness of exposure. Based on online variants of the Frank-Wolfe algorithm, we show that our algorithm is computationally fast, generating rankings on-the-fly with computation cost dominated by the sort operation, memory efficient, and has strong theoretical guarantees. Compared to baseline policies that only maximize user-side performance, our algorithm allows to incorporate complex fairness of exposure criteria in the recommendations with negligible computational overhead.


title: Law Informs Code: A Legal Informatics Approach to Aligning Artificial Intelligence with Humans

abstract: We are currently unable to specify human goals and societal values in a way that reliably directs AI behavior. Law-making and legal interpretation form a computational engine that converts opaque human values into legible directives. "Law Informs Code" is the research agenda embedding legal knowledge and reasoning in AI. Similar to how parties to a legal contract cannot foresee every potential contingency of their future relationship, and legislators cannot predict all the circumstances under which their proposed bills will be applied, we cannot ex ante specify rules that provably direct good AI behavior. Legal theory and practice have developed arrays of tools to address these specification problems. For instance, legal standards allow humans to develop shared understandings and adapt them to novel situations. In contrast to more prosaic uses of the law (e.g., as a deterrent of bad behavior through the threat of sanction), leveraged as an expression of how humans communicate their goals, and what society values, Law Informs Code. We describe how data generated by legal processes (methods of law-making, statutory interpretation, contract drafting, applications of legal standards, legal reasoning, etc.) can facilitate the robust specification of inherently vague human goals. This increases human-AI alignment and the local usefulness of AI. Toward society-AI alignment, we present a framework for understanding law as the applied philosophy of multi-agent alignment. Although law is partly a reflection of historically contingent political power - and thus not a perfect aggregation of citizen preferences - if properly parsed, its distillation offers the most legitimate computational comprehension of societal values available. If law eventually informs powerful AI, engaging in the deliberative political process to improve law takes on even more meaning.


title: Inclusive Ethical Design for Recommender Systems

abstract: Recommender systems are becoming increasingly central as mediators of information with the potential to profoundly influence societal opinion. While approaches are being developed to ensure these systems are designed in a responsible way, adolescents in particular, represent a potentially vulnerable user group requiring explicit consideration. This is especially important given the nature of their access and use of recommender systems but also their role as providers of content. This paper proposes core principles for the ethical design of recommender systems and evaluates whether current approaches to ensuring adherence to these principles are sufficiently inclusive of the particular needs and potential vulnerabilities of adolescent users.


title: Artificial Intelligence Models for Cell Type and Subtype Identification Based on Single-Cell RNA Sequencing Data in Vision Science

abstract: Single-cell RNA sequencing (scRNA-seq) provides a high throughput, quantitative and unbiased framework for scientists in many research fields to identify and characterize cell types within heterogeneous cell populations from various tissues. However, scRNA-seq based identification of discrete cell-types is still labor intensive and depends on prior molecular knowledge. Artificial intelligence has provided faster, more accurate, and user-friendly approaches for cell-type identification. In this review, we discuss recent advances in cell-type identification methods using artificial intelligence techniques based on single-cell and single-nucleus RNA sequencing data in vision science.


title: Lex2Sent: A bagging approach to unsupervised sentiment analysis

abstract: Unsupervised sentiment analysis is traditionally performed by counting those words in a text that are stored in a sentiment lexicon and then assigning a label depending on the proportion of positive and negative words registered. While these "counting" methods are considered to be beneficial as they rate a text deterministically, their classification rates decrease when the analyzed texts are short or the vocabulary differs from what the lexicon considers default. The model proposed in this paper, called Lex2Sent, is an unsupervised sentiment analysis method to improve the classification of sentiment lexicon methods. For this purpose, a Doc2Vec-model is trained to determine the distances between document embeddings and the embeddings of the positive and negative part of a sentiment lexicon. These distances are then evaluated for multiple executions of Doc2Vec on resampled documents and are averaged to perform the classification task. For three benchmark datasets considered in this paper, the proposed Lex2Sent outperforms every evaluated lexicon, including state-of-the-art lexica like VADER or the Opinion Lexicon in terms of classification rate.


title: Improved and Generalized Algorithms for Burning a Planar Point Set

abstract: Given a set $P$ of points in the plane, a point burning process is a discrete time process to burn all the points of $P$ where fires must be initiated at the given points. Specifically, the point burning process starts with a single burnt point from $P$, and at each subsequent step, burns all the points in the plane that are within one unit distance from the currently burnt points, as well as one other unburnt point of $P$ (if exists). The point burning number of $P$ is the smallest number of steps required to burn all the points of $P$. If we allow the fire to be initiated anywhere, then the burning process is called an anywhere burning process, and the corresponding burning number is called anywhere burning number. Computing the point and anywhere burning number is known to be NP-hard. In this paper we show that both these problems admit PTAS in one dimension. We then show that in two dimensions, point burning and anywhere burning are $(1.96296+\varepsilon)$ and $(1.92188+\varepsilon)$ approximable, respectively, for every $\varepsilon>0$, which improves the previously known $(2+\varepsilon)$ factor for these problems. We also observe that a known result on set cover problem can be leveraged to obtain a 2-approximation for burning the maximum number of points in a given number of steps. We show how the results generalize if we allow the points to have different fire spreading rates. Finally, we prove that even if the burning sources are given as input, finding a point burning sequence itself is NP-hard.


title: Laser spectroscopy of aromatic molecules with optical cycling centers: strontium (I) phenoxides

abstract: We report the production and spectroscopic characterization of strontium (I) phenoxide ($\mathrm{SrOC}_6\mathrm{H}_5$, or SrOPh) and variants featuring electron-withdrawing groups designed to suppress vibrational excitation during spontaneous emission from the electronically excited state. Optical cycling closure of these species, which is the decoupling of vibrational state changes from spontaneous optical decay, is found by dispersed laser-induced fluorescence spectroscopy to be high, in accordance with theoretical predictions. A high-resolution, rotationally-resolved laser excitation spectrum is recorded for SrOPh, allowing the estimation of spectroscopic constants and identification of candidate optical cycling transitions for future work. The results confirm the promise of strontium phenoxides for laser cooling and quantum state detection at the single-molecule level.


title: Electron energy loss spectroscopy database synthesis and automation of core-loss edge recognition by deep-learning neural networks

abstract: The ionization edges encoded in the electron energy loss spectroscopy (EELS) spectra enable advanced material analysis including composition analyses and elemental quantifications. The development of the parallel EELS instrument and fast, sensitive detectors have greatly improved the acquisition speed of EELS spectra. However, the traditional way of core-loss edge recognition is experience based and human labor dependent, which limits the processing speed. So far, the low signal-noise ratio and the low jump ratio of the core-loss edges on the raw EELS spectra have been challenging for the automation of edge recognition. In this work, a convolutional-bidirectional long short-term memory neural network (CNN-BiLSTM) is proposed to automate the detection and elemental identification of core-loss edges from raw spectra. An EELS spectral database is synthesized by using our forward model to assist in the training and validation of the neural network. To make the synthesized spectra resemble the real spectra, we collected a large library of experimentally acquired EELS core edges. In synthesize the training library, the edges are modeled by fitting the multi-gaussian model to the real edges from experiments, and the noise and instrumental imperfectness are simulated and added. The well-trained CNN-BiLSTM network is tested against both the simulated spectra and real spectra collected from experiments. The high accuracy of the network, 94.9 %, proves that, without complicated preprocessing of the raw spectra, the proposed CNN-BiLSTM network achieves the automation of core-loss edge recognition for EELS spectra with high accuracy.

categories: cond-mat.mtrl-sci cs.LG eess.SP physics.chem-ph


title: A GPU-accelerated Algorithm for Distinct Discriminant Canonical Correlation Network

abstract: Currently, deep neural networks (DNNs)-based models have drawn enormous attention and have been utilized to different domains widely. However, due to the data-driven nature, the DNN models may generate unsatisfying performance on the small scale data sets. To address this problem, a distinct discriminant canonical correlation network (DDCCANet) is proposed to generate the deep-level feature representation, producing improved performance on image classification. However, the DDCCANet model was originally implemented on a CPU with computing time on par with state-of-the-art DNN models running on GPUs. In this paper, a GPU-based accelerated algorithm is proposed to further optimize the DDCCANet algorithm. As a result, not only is the performance of DDCCANet guaranteed, but also greatly shortens the calculation time, making the model more applicable in real tasks. To demonstrate the effectiveness of the proposed accelerated algorithm, we conduct experiments on three database with different scales. Experimental results validate the superiority of the proposed accelerated algorithm on given examples.


title: How to Sample From The Limiting Distribution of a Continuous-Time Quantum Walk

abstract: We introduce $\varepsilon$-projectors, using which we can sample from limiting distributions of continuous-time quantum walks. The standard algorithm for sampling from a distribution that is close to the limiting distribution of a given quantum walk is to run the quantum walk for a time chosen uniformly at random from a large interval, and measure the resulting quantum state. This approach usually results in an exponential running time. We show that, using $\varepsilon$-projectors, we can sample exactly from the limiting distribution. In the black-box setting, where we only have query access to the adjacency matrix of the graph, our sampling algorithm runs in time proportional to $\Delta^{-1}$, where $\Delta$ is the minimum spacing between the distinct eigenvalues of the graph. In the non-black-box setting, we give examples of graphs for which our algorithm runs exponentially faster than the standard sampling algorithm.


title: A Forecast for Large Scale Structure Constraints on Horndeski Gravity with Line Intensity Mapping

abstract: We consider the potential for line intensity mapping (LIM) of the rotational CO(1-0), CO(2-1) and CO(3-2) transitions to detect deviations from General Relativity from $0 < z < 3$ within the framework of a very general class of modified gravity models, called Horndeski theories. Our forecast assumes a multi-tracer analysis separately obtaining information from the matter power spectrum and the first two multipoles of the redshift space distortion power spectrum. To achieve $\pm 0.1$ level constraints on the slope of the kinetic gravity braiding and Planck mass evolution parameters, a mm-wave LIM experiment would need to accumulate $\approx 10^8-10^9$ spectrometer hours, feasible with instruments that could be deployed in the 2030s. Such a measurement would constrain large portions of the remaining parameter space available to Scalar-Tensor modified gravity theories. Our modeling code is publicly available.


title: What is the height of two points in the plane?

abstract: Here we describe the distribution of rational points on the Hilbert scheme of two points in the projective plane. More specifically, we explicitly describe a two-parameter family of height functions $H_{s, t}$, such that the height function associated to any projective embedding is equivalent to some $H_{s, t}$, up to multiplication by a bounded function. For a certain range of the parameters $(s, t)$, we prove an asymptotic formula for the number of rational points of bounded height, and for other $(s, t)$ we obtain an upper bound. The proof establishes an equivalence to a lattice point counting problem, which we solve using the geometry of numbers.


title: Local Gromov-Witten invariants of some simple normal crossing surfaces

abstract: Inspired by M-theory and superconformal field theory, we extend the notions of local Gromov-Witten invariants from the case of del Pezzo surfaces to shrinkable surfaces, a class of reducible surfaces with simple normal crossings satisfying certain positivity conditions.


title: Totems: Physical Objects for Verifying Visual Integrity

abstract: We introduce a new approach to image forensics: placing physical refractive objects, which we call totems, into a scene so as to protect any photograph taken of that scene. Totems bend and redirect light rays, thus providing multiple, albeit distorted, views of the scene within a single image. A defender can use these distorted totem pixels to detect if an image has been manipulated. Our approach unscrambles the light rays passing through the totems by estimating their positions in the scene and using their known geometric and material properties. To verify a totem-protected image, we detect inconsistencies between the scene reconstructed from totem viewpoints and the scene's appearance from the camera viewpoint. Such an approach makes the adversarial manipulation task more difficult, as the adversary must modify both the totem and image pixels in a geometrically consistent manner without knowing the physical properties of the totem. Unlike prior learning-based approaches, our method does not require training on datasets of specific manipulations, and instead uses physical properties of the scene and camera to solve the forensics problem.


title: Efficient thermo-optic micro-ring phase shifter made of PECVD silicon-rich amorphous silicon carbide

abstract: In this work, the thermo-optic coefficient (TOC) of the silicon-rich amorphous silicon carbide (a-SiC) thin film deposited by plasma-enhanced chemical vapor deposition is characterized. We found that the TOC of the film increases as its silicon content increases. A more than three-fold improvement in the TOC is measured, reaching a TOC as high as $1.88 \times 10^{-4} K^{-1}$, which is comparable to that of crystalline silicon. An efficient thermo-optic phase shifter has also been demonstrated by integrating the silicon-rich a-SiC micro-ring structure with a NiCr heater. Its tuning efficiency $P_{\pi}$ as low as 4.4 mW has been measured at an optical wavelength of 1550 nm. These findings make silicon-rich a-SiC a good material candidate for thermo-optic applications in photonic integrated circuits.


title: On the strength of recursive McCormick relaxations for binary polynomial optimization

abstract: Recursive McCormick relaxations have been among the most popular convexification techniques for binary polynomial optimization problems. It is well-understood that both the quality and the size of these relaxations depend on the recursive sequence, and finding an optimal recursive sequence amounts to solving a difficult combinatorial optimization problem. In this paper, we prove that any recursive McCormick relaxation is implied by the extended flower relaxation, a linear programming relaxation that is a natural generalization of the flower relaxation introduced by Del Pia and Khajavirad 2018, which for binary polynomial optimization problems with fixed degree can be solved in strongly polynomial time.


title: Tunable Directional Filter for Mid-Infrared Optical Transmission Switching

abstract: Controlling the spectral and angular response of infrared (IR) radiation is a challenging task of paramount importance to various emerging photonic applications. Here, we overcome these problems by proposing and analyzing a new design of a tunable narrowband directional optical transmission filter. The presented thermally controlled multilayer filter leverages the temperature dependent phase change properties of vanadium dioxide (VO2) to enable efficient and reversible fast optical switching by using a pump-probe laser excitation setup. More specifically, transmission is blocked for high intensity probe lasers due to the VO2 metallic properties induced at elevated temperatures while at low probe laser intensities high transmission through the filter occurs only for a narrowband IR range confined to near normal incident angles. The proposed multilayer composite dielectric filter is expected to have applications in optical communications, where it can act as dual functional infrared filter and optical switch.


title: MonoGraspNet: 6-DoF Grasping with a Single RGB Image

abstract: 6-DoF robotic grasping is a long-lasting but unsolved problem. Recent methods utilize strong 3D networks to extract geometric grasping representations from depth sensors, demonstrating superior accuracy on common objects but perform unsatisfactorily on photometrically challenging objects, e.g., objects in transparent or reflective materials. The bottleneck lies in that the surface of these objects can not reflect back accurate depth due to the absorption or refraction of light. In this paper, in contrast to exploiting the inaccurate depth data, we propose the first RGB-only 6-DoF grasping pipeline called MonoGraspNet that utilizes stable 2D features to simultaneously handle arbitrary object grasping and overcome the problems induced by photometrically challenging objects. MonoGraspNet leverages keypoint heatmap and normal map to recover the 6-DoF grasping poses represented by our novel representation parameterized with 2D keypoints with corresponding depth, grasping direction, grasping width, and angle. Extensive experiments in real scenes demonstrate that our method can achieve competitive results in grasping common objects and surpass the depth-based competitor by a large margin in grasping photometrically challenging objects. To further stimulate robotic manipulation research, we additionally annotate and open-source a multi-view and multi-scene real-world grasping dataset, containing 120 objects of mixed photometric complexity with 20M accurate grasping labels.