BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Matthew Anderson

Matthew Anderson contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
astro-ph.HEgr-qcArtificial Intelligenceastro-ph.COastro-ph.IMComputational ComplexityData Structures and Algorithmseess.SPeess.SYFormal Languages and Automata Theorymath.NAMultiagent SystemsNumerical Analysisphysics.comp-phRoboticsSymbolic ComputationSystems and Control

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
17topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2022arXiv

Design of the new CHARA instrument SILMARIL: pushing the sensitivity of a 3-beam combiner in the H- and K-bands

Optical interferometry is a powerful technique to achieve high angular resolution. However, its main issue is its lack of sensitivity, compared to other observation techniques. Efforts have been made in the previous decade to improve the sensitivity of optical interferometry, with instruments such as PIONIER and GRAVITY at VLTI, or MIRC-X and MYSTIC at CHARA. While those instruments pushed on sensitivity, their design focus was not the sensitivity but relative astrometric accuracy, imaging capability, or spectral resolution. Our goal is to build an instrument specifically designed to optimize for sensitivity. This meant focusing our design efforts on different parts of the instrument and investigating new technologies and techniques. First, we make use of the low-noise C-RED One camera using e-APD technology and provided by First Light Imaging, already used in the improvement of sensitivity in recent new instruments. We forego the use of single-mode fibers but still favor an image plane design that offers more sensitivity than a pupil plane layout. We also use a minimum number of optical elements to maximize the throughput of the design, using a long focal length cylindrical mirror. We chose to limit our design to 3 beams, to have the capability to obtain closure phases, but not dilute the incoming flux in more beam combinations. We also use in our design an edge filter to have the capability to observe H- and K-band at the same time. We use a low spectral resolution, allowing for group delay fringe tracking but maximizing the SNR of the fringes for each spectral channel. All these elements will lead to a typical limiting magnitude between 10 and 11 in both H- and K-bands.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Matrix Multiplication: Verifying Strong Uniquely Solvable Puzzles

Cohn and Umans proposed a framework for developing fast matrix multiplication algorithms based on the embedding computation in certain groups algebras. In subsequent work with Kleinberg and Szegedy, they connected this to the search for combinatorial objects called strong uniquely solvable puzzles (strong USPs). We begin a systematic computer-aided search for these objects. We develop and implement constraint-based algorithms build on reductions to $\mathrm{SAT}$ and $\mathrm{IP}$ to verify that puzzles are strong USPs, and to search for large strong USPs. We produce tight bounds on the maximum size of a strong USP for width $k \le 5$, construct puzzles of small width that are larger than previous work, and improve the upper bounds on strong USP size for $k \le 12$. Although our work only deals with puzzles of small-constant width, the strong USPs we find imply matrix multiplication algorithms that run in $O(n^ω)$ time with exponent $ω\le 2.66$. While our algorithms do not beat the fastest algorithms, our work provides evidence and, perhaps, a path to finding families of strong USPs that imply matrix multiplication algorithms that are more efficient than those currently known.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Automated Trajectory Synthesis for UAV Swarms Based on Resilient Data Collection Objectives

The use of Unmanned Aerial Vehicles (UAVs) for collecting data from remotely located sensor systems is emerging. The data can be time-sensitive and require to be transmitted to a data processing center. However, planning the trajectory of a collaborative UAV swarm depends on multi-fold constraints, such as data collection requirements, UAV maneuvering capacity, and budget limitation. Since a UAV may fail or be compromised, it is important to provide necessary resilience to such contingencies, thus ensuring data security. It is important to provide the UAVs with efficient spatio-temporal trajectories so that they can efficiently cover necessary data sources. In this work, we present Synth4UAV, a formal approach for automated synthesis of efficient trajectories for a UAV swarm by logically modeling the aerial space and data point topology, UAV moves, and associated constraints in terms of the turning and climbing angle, fuel usage, data collection point coverage, data freshness, and resiliency properties. We use efficient, logical formulas to encode and solve the complex model. The solution to the model provides the routing and maneuvering plan for each UAV, including the time to visit the points on the paths and corresponding fuel usage such that the necessary data points are visited while satisfying the resiliency requirements. We evaluate the proposed trajectory synthesizer, and the results show that the relationship among different parameters follow the requirements while the tool scales well with the problem size.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Design and Autonomous Stabilization of a Ballistically Launched Multirotor

Aircraft that can launch ballistically and convert to autonomous, free flying drones have applications in many areas such as emergency response, defense, and space exploration, where they can gather critical situational data using onboard sensors. This paper presents a ballistically launched, autonomously stabilizing multirotor prototype (SQUID, Streamlined Quick Unfolding Investigation Drone) with an onboard sensor suite, autonomy pipeline, and passive aerodynamic stability. We demonstrate autonomous transition from passive to vision based, active stabilization, confirming the ability of the multirotor to autonomously stabilize after a ballistic launch in a GPS denied environment.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Exploring Critical Collapse in the Semilinear Wave Equation using Space-Time Finite Elements

A fully implicit numerical approach based on the space-time finite element method is implemented for the semilinear wave equation in 1(space) + 1(time) and 2 + 1 dimensions to explore critical collapse and search for self-similar solutions. Previous work studied this behavior by exploring the threshold of singularity formation using time marching finite difference techniques while this work introduces an adaptive time parallel numerical method to the problem. The semilinear wave equation with a $p = 7$ term is examined in spherical symmetry. The impact of mesh refinement and the time additive Schwarz preconditioner in conjunction with Krylov Subspace Methods are examined.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Mergers of Magnetized Neutron Stars with Spinning Black Holes: Disruption, Accretion and Fallback

We investigate the merger of a neutron star (of compaction ratio $0.1$) in orbit about a spinning black hole in full general relativity with a mass ratio of $5:1$, allowing for the star to have an initial magnetization of $10^{12} {\rm Gauss}$. We present the resulting gravitational waveform and analyze the fallback accretion as the star is disrupted. The evolutions suggest no significant effects from the initial magnetization. We find that only a negligible amount of matter becomes unbound; $99%$ of the neutron star material has a fallback time of 10 seconds or shorter to reach the region of the central engine and that $99.99%$ of the star will interact with the central disk and black hole within 3 hours.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Post-merger electromagnetic emissions from disks perturbed by binary black holes

We simulate the possible emission from a disk perturbed by a recoiling super-massive black hole. To this end, we study radiation transfer from the system incorporating bremsstrahlung emission from a Maxwellian plasma and absorption given by Kramer's opacity law modified to incorporate blackbody effects. We employ this model in the radiation transfer integration to compute the luminosity at several frequencies, and compare with previous bremsstrahlung luminosity estimations from a transparent limit (in which the emissivity is integrated over the computational domain and over all frequencies) and with a simple thermal emission model. We find close agreement between the radiation transfer results and the estimated bremsstrahlung luminosity from previous work for electromagnetic signals above $10^{14}$ Hz. For lower frequencies, we find a self-eclipsing behavior in the disk, resulting in a strong intensity variability connected to the orbital period of the disk.

0 citations0 reviewsNo code linkedOpen access